Ten Reasons to Metamodel ASMs
نویسندگان
چکیده
Model-Driven Engineering (or MDE) is an emerging approach for system development which refers to the systematic use of models as primary engineering artifacts throughout the engineering lifecycle. MDE puts emphasis on bridges between di erent working contexts and on the integration of bodies of knowledge di erently developed. We discuss the mutual advantages that the integration of MDE and Abstract State Machines (ASMs) would provide: MDE can gain rigour and preciseness, while ASMs get a standard abstract notation and a general framework for a wide tool interoperability.
منابع مشابه
A Concrete Syntax Derived From the Abstract State Machine Metamodel
In this paper we present a language for Abstract State Machine specifications. The ASM metamodel (AsmM), introduced in [18], is a MOF-compliant metamodel representing in an abstract and visual way the concepts and constructs of the ASMs formalism as described in [3]. Here we present a concrete syntax (AsmM-CS), an EBNF (extended Backus-Naur Form) grammar derived from the AsmM as a textual notat...
متن کاملA Metamodel-based Simulator for ASMs
In this paper we present a general-purpose simulation engine for ASM speci cations. It has been developed as part of the ASMETA (ASMs metamodelling) toolset which is a set of tools for ASMs based on the metamodelling framework of the Model-Driven Engineering. We brie y present the ASMETA framework, how it has been developed, the concrete textual notation or language (AsmetaL) it adopts for e ec...
متن کاملIntegrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines
In this paper we address the problem of integrating UML static and dynamic views, and different behavioral views. We tackle these problems by providing (a) a mapping of UML metamodel static and behavioral elements into ASMs and (b) a precise compositional semantics for state machines. Structural model elements are translated into an ASM vocabulary as collections of domains and functions. The dy...
متن کاملMapping UML into Abstract State Machines: A Framework to Simulate UML Models
The paper presents a simulation framework for UML models based upon a mapping schema of UML metamodel elements into Abstract State Machines (ASMs). Structural model elements are translated into an ASM vocabulary as collections of domains and functions, whereas the dynamic view is captured by multi-agent ASMs reflecting the behavior modelled by UML state machines. In our toolkit, input UML model...
متن کاملA Metamodel-based Language and a Simulation Engine for Abstract State Machines
In this paper, we present a concrete textual notation, called AsmetaL, and a general-purpose simulation engine, called AsmetaS, for Abstract State Machine (ASM) specifications. They have been developed as part of the ASMETA (ASMs mETAmodelling) toolset, which is a set of tools for ASMs based on the metamodelling approach of the Model-driven Engineering. We briefly present the ASMETA framework, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009